The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero
نویسندگان
چکیده
In this paper we describe a model of concurrency enjoying an algebraic structure reflecting the parallel composition. For the sake of simplicity we restrict to linear concurrent programs i.e. the ones with neither loops nor branchings. Such programs are given a semantics using cubical areas that we call geometric. The collection of all cubical areas admits a structure of tensor product in the category of semi-lattice with zero. These results naturally extend to fully fledged concurrent programs up to some technical tricks.
منابع مشابه
On strongly Jordan zero-product preserving maps
In this paper, we give a characterization of strongly Jordan zero-product preserving maps on normed algebras as a generalization of Jordan zero-product preserving maps. In this direction, we give some illustrative examples to show that the notions of strongly zero-product preserving maps and strongly Jordan zero-product preserving maps are completely different. Also, we prove that the direct p...
متن کاملAdjunctions between Hom and Tensor as endofunctors of (bi-) module category of comodule algebras over a quasi-Hopf algebra.
For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor endofunctors V k - and - kV are left adjoint to some kinds of Hom-endofunctors of _HM. The units and counits of these adjunctions are formally trivial as in the classical case.The category of (bi-) modules over a quasi-Hopf algebra is monoidal and some generalized versions of Hom-tensor relations have been st...
متن کاملIrreducibility of the tensor product of Albeverio's representations of the Braid groups $B_3$ and $B_4$
We consider Albeverio's linear representations of the braid groups $B_3$ and $B_4$. We specialize the indeterminates used in defining these representations to non zero complex numbers. We then consider the tensor products of the representations of $B_3$ and the tensor products of those of $B_4$. We then determine necessary and sufficient conditions that guarantee the irreducibility of th...
متن کاملPOWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...
متن کاملThe Semilattice Tensor Product of Distributive Lattices
We define the tensor product A ® S for arbitrary semilattices A and B. The construction is analogous to one used in ring theory (see 14], [7], [8]) and different from one studied by A. Waterman [12], D. Mowat [9], and Z. Shmuely [10]. We show that the semilattice A <3 B is a distributive lattice whenever A and B are distributive lattices, and we investigate the relationship between the Stone sp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014